:: Integer -> Double is:exact package:hmpfr